Session Types Research Articles

Session Types for the Transport Layer: Towards an Implementation of TCP

Session Types for the Transport Layer: Towards an Implementation of TCP

Fair termination of multiparty sessions

There exists a broad family of multiparty sessions in which the progress of one session participant is not unconditional, but depends on the choices performed by other participants. These sessions fall outside the scope of currently available session type systems that guarantee progress. In this work we propose the first type system ensuring that well-typed multiparty sessions, including those exhibiting the aforementioned dependencies, fairly terminate. Fair termination is termination under a fairness assumption that disregards those interactions deemed unfair and therefore unrealistic. Fair termination, combined with the usual safety properties ensured within sessions, not only is desirable per se, but it entails livelock freedom and enables a compositional form of static analysis such that the well-typed composition of fairly terminating sessions results in a fairly terminating program.

Mixed choice in session types

Session types provide a flexible programming style for structuring interaction, and are used to guarantee a safe and consistent composition of distributed processes. Traditional session types include only one-directional input (external) and output (internal) guarded choices. This prevents the session-processes to explore the full expressive power of the π-calculus where the mixed choices are proved more expressive than the (non-mixed) guarded choices. To account this issue, recently Casal, Mordido, and Vasconcelos proposed the binary session types with mixed choices (CMV+). This paper carries a surprising, unfortunate result on CMV+: in spite of an inclusion of unrestricted channels with mixed choice, CMV+'s mixed choice is rather separate and not mixed. We prove this negative result using two methodologies (using either the leader election problem or a synchronisation pattern as distinguishing feature), showing that there exists no good encoding from the π-calculus into CMV+, preserving distribution. We then close their open problem on the encoding from CMV+ into CMV (without mixed choice), proving its soundness and thereby that the encoding is good up to coupled similarity.

Recent Trends in “Manels” and Gender Representation Among Panelists at North American Annual Radiation Oncology Meetings

PurposeAchieving gender equity in radiation oncology is an important goal as a smaller proportion of women enter radiation oncology residency compared to those graduating medical school. As invited speaking opportunities at academic medical conferences are vital for promotion/tenure, we investigated the prevalence of all-men panels (“manels”) at ASTRO and CARO Annual Meetings. Methods and MaterialsUsing ASTRO and CARO online meeting programs, 2018-2021 faculty information was obtained, including gender, panel role (chair vs. non-chair), type of session, and topic. Primary outcomes included percentage of manels and proportion of women panelists over time. Representation of women among chairs was also evaluated. ResultsOver the 4-year study period across both conferences, there were a total of 765 panel sessions with 2,973 faculty members, of which 1,287 (43.3%) were women. Of these, 127/765 (16.6%) were manels. ASTRO meetings had 169/2742 (42.6%) women faculty members and 107/680 (15.7%) manels, while CARO meetings had 118/231 (51.1%) female faculty and 20/85 manels (23.5%). From 2018 to 2021, the proportion of manels decreased, at ASTRO and CARO from 25.6% to 8.2% (p<0.001) and from 29.6% to 15.0% (p=0.130), respectively. The role of chair was majority male in every year from 2018 to 2021 at ASTRO (58.6% overall), but more balanced at CARO (48.0% overall). Among session types, the highest proportion of manels was observed for scientific sessions (19.1%, p=0.011) at ASTRO and leadership sessions (29.4%, p=0.533) at CARO. The lowest proportion of women panelists were on genitourinary cancer topics at ASTRO (31.9%, p=0.018) and physics topics at CARO (40.4%, p=0.085). ConclusionDuring the study period, the proportion of women panelists increased with a corresponding decrease in manels. ASTRO and CARO should strive for further involvement of women and the elimination of manels whenever possible.

Proactive Versus Reactive Control Strategies Differentially Mediate Alcohol Drinking in Male Wistars and P Rats.

Problematic alcohol consumption is associated with deficits in decision-making and alterations in prefrontal cortex neural activity likely contribute. We hypothesized that the differences in cognitive control would be evident between male Wistars and a model of genetic risk: alcohol-preferring P rats. Cognitive control is split into proactive and reactive components. Proactive control maintains goal-directed behavior independent of a stimulus, whereas reactive control elicits goal-directed behavior at the time of a stimulus. We hypothesized that Wistars would show proactive control over alcohol seeking whereas P rats would show reactive control over alcohol seeking. Neural activity was recorded from the prefrontal cortex during an alcohol seeking task with two session types. On congruent sessions, the conditioned stimulus (CS+) was on the same side as alcohol access. Incongruent sessions presented alcohol opposite the CS+. Wistars, but not P rats, made more incorrect approaches during incongruent sessions, suggesting that Wistars utilized the previously learned rule. This motivated the hypothesis that neural activity reflecting proactive control would be observable in Wistars but not P rats. While P rats showed differences in neural activity at times of alcohol access, Wistars showed differences prior to approaching the sipper. These results support our hypothesis that Wistars are more likely to engage in proactive cognitive control strategies whereas P rats are more likely to engage in reactive cognitive control strategies. Although P rats were bred to prefer alcohol, the differences in cognitive control may reflect a sequela of behaviors that mirror those in humans at risk for an AUD.

A Comparison of a Step Load Unilateral and Bilateral Resistance Training Program on the Strength and Power of the Lower Limbs in Soccer Players

The purpose of the investigation was to determine the influence of a four-week unilateral (UNI) and bilateral (BIL) resistance training program on peak torque and peak power of the lower limbs in soccer players. Background: We evaluated the effects of a 3:1 step load training program using UNI and BIL forms of exercises on the level of peak torque and peak power of the knee joint extensors and flexors. Methods: The study included 16 division I soccer players having the highest number of matches played in the first round of the season. The motor tests included isokinetic evaluation of peak torque and peak power of the extensors and flexors of the knee joint. Results: The results showed that both types of training sessions were equally effective. Only in terms of power during knee flexion, unilateral training contributed to improvement, whereas bilateral training did not. Conclusions: The use of periodization using a step load progression based on an extended eccentric phase of the movement during the preseason period in combination with UNI training may increase peak torque and peak power of knee flexors and extensors in soccer players.

Individual In-Situ GPS-Derived Acceleration-Speed Profiling: Toward Automatization and Refinement in Male Professional Rugby Union Players

BackgroundRecently a proof-of-concept was proposed to derive the soccer players’ individual in-situ acceleration-speed (AS) profile from global positioning system (GPS) data collected over several sessions and games. The present study aimed to propose an automatized method of individual GPS-derived in-situ AS profiling in a professional rugby union setting.MethodAS profiles of forty-nine male professional rugby union players representing 61.5 million positions, from which acceleration was derived from speed during 51 training sessions and 11 official games, were analyzed. A density-based clustering algorithm was applied to identify outlier points. Multiple AS linear relationships were modeled for each player and session, generating numerous theoretical maximal acceleration (A0), theoretical maximal running speed (S0) and AS slope (ASslope, i.e., overall orientation of the AS profile). Each average provides information on the most relevant value while the standard deviation denotes the method accuracy. In order to assess the reliability of the AS profile within the data collection period, data were compared over two 2-week phases by the inter-class correlation coefficient. A0 and S0 between positions and type of sessions (trainings and games) were compared using ANOVA and post hoc tests when the significant threshold had been reached.ResultsAll AS individual profiles show linear trends with high coefficient of determination (r2 > 0.81). Good reliability (Inter-class Correlation Coefficient ranging from 0.92 to 0.72) was observed between AS profiles, when determined 2 weeks apart for each player. AS profiles depend on players’ positions, types of training and games. Training and games data highlight that highest A0 are obtained during games, while greatest S0 are attained during speed sessions.ConclusionsThis study provides individual in-situ GPS-derived AS profiles with automatization capability. The method calculates an error of measurement for A0 and S0, of paramount importance in order to improve their daily use. The AS profile differences between training, games and playing positions open several perspectives for performance testing, training monitoring, injury prevention and return-to-sport sequences in professional rugby union, with possible transferability to other sprint-based sports.Key PointsAS profiles computed from rugby union GPS data provide positional benchmarks during training and competition.This study provides automatic detection of atypical data and the computation of error measurement of theoretical maximal acceleration and speed components.This refinement constitutes a step forward for a daily use of ecological data by considering data collection and method reliabilities.This easy-to-implement approach may facilitate its use to the performance management process (talent identification, training monitoring and individualization, return-to-sport).

Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing

We introduce a linear concurrent separation logic, called LinearActris , designed to guarantee deadlock and leak freedom for message-passing concurrency. LinearActris combines the strengths of session types and concurrent separation logic, allowing for the verification of challenging higher-order programs with mutable state through dependent protocols. The key challenge is to prove the adequacy theorem of LinearActris, which says that the logic indeed gives deadlock and leak freedom “for free” from linearity. We prove this theorem by defining a step-indexed model of separation logic, based on connectivity graphs . To demonstrate the expressive power of LinearActris, we prove soundness of a higher-order (GV-style) session type system using the technique of logical relations. All our results and examples have been mechanized in Coq.

Adapting beyond borders: Insights from the 19th Student Council Symposium (SCS2023), the first hybrid ISCB Student Council global event.

The 19th ISCB Student Council Symposium (SCS2023) organized by ISCB-SC adopted a hybrid format for the first time, allowing participants to engage in-person in Lyon, France, and virtually via an interactive online platform. The symposium prioritized inclusivity, featuring on-site sessions, poster presentations, and social activities for in-person attendees, while virtual participants accessed live sessions, interactive Q&A, and a virtual exhibit hall. Attendee statistics revealed a global reach, with Europe as the major contributor. SCS2023's success in bridging in-person and virtual experiences sets a precedent for future events in Computational Biology and Bioinformatics. The details of the symposium, speaker information, schedules, and accepted abstracts, are available in the program booklet (https://doi.org/10.5281/zenodo.8173977). For organizers interested in adopting a similar hybrid model, it would be beneficial to have access to details regarding the online platform used, the types of sessions offered, and the challenges faced. Future iterations of SCS can address these aspects to further enhance accessibility and inclusivity.

Soundly Handling Linearity

We propose a novel approach to soundly combining linear types with multi-shot effect handlers. circear type systems statically ensure that resources such as file handles and communication channels are used exactly once. Effect handlers provide a rich modular programming abstraction for implementing features ranging from exceptions to concurrency to backtracking. Whereas conventional linear type systems bake in the assumption that continuations are invoked exactly once, effect handlers allow continuations to be discarded (e.g. for exceptions) or invoked more than once (e.g. for backtracking). This mismatch leads to soundness bugs in existing systems such as the programming language Links, which combines linearity (for session types) with effect handlers. We introduce control-flow linearity as a means to ensure that continuations are used in accordance with the linearity of any resources they capture, ruling out such soundness bugs. We formalise the notion of control-flow linearity in a System F-style core calculus F eff ∘ equipped with linear types, an effect type system, and effect handlers. We define a linearity-aware semantics in order to formally prove that F eff ∘ preserves the integrity of linear values in the sense that no linear value is discarded or duplicated. In order to show that control-flow linearity can be made practical, we adapt circks based on the design of F eff ∘ , in doing so fixing a long-standing soundness bug. Finally, to better expose the potential of control-flow linearity, we define an ML-style core calculus Q eff ∘ , based on qualified types, which requires no programmer provided annotations, and instead relies entirely on type inference to infer control-flow linearity. Both linearity and effects are captured by qualified types. Q eff ∘ overcomes a number of practical limitations of F eff ∘ , supporting abstraction over linearity, linearity dependencies between type variables, and a much more fine-grained notion of control-flow linearity.

Effect of music therapy on language skills in children with specific language impairment: A systematic review

Background: Specific language impairment (SLI) delays language development without any neurological damage or disease. This impairment extends to nonlinguistic tasks, such as music perception skills. In recent years, speech-language pathologists (SLPs) and music therapists (MTs) have collaborated to develop and improve approaches for children with communication disorders (CDs), including global developmental delay (GDD), SLI, mild developmental delay (DD), and the risk of developing reading difficulties, by integrating music therapy (MT) and speech therapy (ST). MT could be considered as one of the alternative methods offered to children with SLI to enhance their language skills. Objectives: The purpose of this study was to investigate the effectiveness of MT interventions on language skills in children with SLI and to investigate the characteristics of other intervention features in these studies, such as interventionists, intervention, settings, session type, and music methods. Materials and methods: The study was a systematic review conducted within the framework of the Preferred Reporting Items for Systematic Reviews and MetaAnalyses (PRISMA). The quality of the research results was assessed using the critical appraisal tools provided by the Joanna Briggs Institute (JBI). Results: Two studies met the inclusion criteria and were included in this systematic review. The two main types of MT employed were song cues and creative music therapy based on the Nordoff-Robbins approach. Current evidence suggests that music therapy improves components of language, including phonology, syntax, morphology, and other aspects of speech development, such as understanding sentences and memory for sentences, in children with SLI. Conclusion: MT can be a valuable and effective intervention for children with SLI. The introduction of transdisciplinary programs that integrate MT and ST could be recommended. However, MT training courses are required for SLPs.

Contemporary practices of Portuguese and Brazilian soccer coaches in designing and applying small-sided games.

This descriptive study aimed to investigate the current practices of Portuguese and Brazilian soccer coaches in the design and implementation of small-sided games (SSGs) in soccer. A total of 187 male coaches participated in the online survey, consisting of 82 Portuguese and 105 Brazilian individuals. These coaches held various positions within the technical staff, with 63 serving as head coaches, 38 as assistant coaches, 38 as physical trainers, and 48 in other roles related to the technical staff. Additionally, the participants represented both youth (n = 102) and adult competitive levels (n = 59), along with some who were not currently associated with a specific group. The survey consisted of 32 questions divided into three main sections: (i) the timing of SSG application, (ii) the methods used for applying SSGs, and (iii) the reasons for applying SSGs. The Chi-square test revealed a statistically significant association between nationality and the frequency of SSGs used in training sessions during the pre-season (p = 0.039) and in-season (p < 0.001). Moreover, significant association between nationality and the time allocated to employing SSGs for targeting aerobic training (p < 0.001) was found. There was a significant association between nationality and the weekly frequency of SSGs use for targeting sprint training (p = 0.019). The Chi-square test identified significant associations between nationality and the use of SSGs for targeting technical training (p = 0.002), as well as for tactical training (p = 0.002). In summary, this study underscores that SSGs are primarily employed to enhance aerobic fitness, change of direction, technical skills, and tactical behaviors. Coaches generally favor employing SSGs two to three times a week, with typical sessions lasting between 16 to 30 minutes. Notably, the major discrepancies between nationalities lie in the importance assigned to the use of SSGs. However, in practice, the formats and objectives for implementing SSGs remain relatively similar.

Prioritise the Best Variation

Binary session types guarantee communication safety and session fidelity, but alone they cannot rule out deadlocks arising from the interleaving of different sessions. In Classical Processes (CP)$-$a process calculus based on classical linear logic$-$deadlock freedom is guaranteed by combining channel creation and parallel composition under the same logical cut rule. Similarly, in Good Variation (GV)$-$a linear concurrent $\lambda$-calculus$-$deadlock freedom is guaranteed by combining channel creation and thread spawning under the same operation, called fork. In both CP and GV, deadlock freedom is achieved at the expense of expressivity, as the only processes allowed are tree-structured. Dardha and Gay define Priority CP (PCP), which allows cyclic-structured processes and restores deadlock freedom by using priorities, in line with Kobayashi and Padovani. Following PCP, we present Priority GV (PGV), a variant of GV which decouples channel creation from thread spawning. Consequently, we type cyclic-structured processes and restore deadlock freedom by using priorities. We show that our type system is sound by proving subject reduction and progress. We define an encoding from PCP to PGV and prove that the encoding preserves typing and is sound and complete with respect to the operational semantics.

Session-Based Time-Window Identification in Virtual Learning Environments

Students organize and manage their own learning time, choosing when, what, and how to study due to the flexibility of online learning. Each person has unique learning habits that define their behaviours and distinguish them from others. To investigate the temporal behaviour of students in online learning environments, we seek to identify suitable time-windows that could be used to investigate their temporal behaviour. First, we present a novel perspective for identifying different types of sessions based on individual needs. The majority of previous works address this issue by establishing an arbitrary session timeout threshold. In this paper, we propose an algorithm for determining the optimal threshold for a given session. Second, we use data-driven methods to support investigators in determining time-windows based on the identified sessions. To this end, we developed a visual tool that assists data scientists and researchers to determine the optimal settings for session identification and locating suitable time-windows.

Abstract C019: Comparing the effectiveness of different community education approaches on colorectal cancer knowledge

Abstract Introduction: Colorectal cancer (CRC) incidence and mortality varies greatly among racial/ethnic groups nationally. Community outreach and education are effective strategies to enhance knowledge of CRC and have been shown to increase screening for CRC. The University of New Mexico Comprehensive Cancer Center implements Screen to Save, a community-based CRC screening initiative through the National Outreach Network Program. During the COVID-19 pandemic, restrictions on in-person engagement led to the development and implementation of alternative delivery strategies. Our site continued in-person education as possible, and added Zoom and fully self-paced via QR code options for community member participation. Very little is known regarding the effectiveness of different delivery modes. The purpose of this research is to examine the relationship between method of education session delivery and participant CRC knowledge. Methods: Participants were recruited via community organizations, Facebook advertising, and referrals from local stakeholders. Both before and after a standardized health education session, participants completed a survey assessing their knowledge of CRC risk and screening recommendations. Participant demographics were descriptively summarized. Estimates of mean changes, and 95% confidence intervals (CI), were obtained for each content delivery type. Differences in these changes were compared using ANCOVA approaches. Results: There were 239 participants who completed the educational sessions in-person (n=81), via Zoom (n=66), or using the self-paced module (n=92), Groups did not differ significantly in composition for age (p=0.72) or gender (p=0.33), but did differ in race, ethnicity, and education level (p&amp;lt;0. 001). Those who participated in any delivery method improved their knowledge scores by 11.6 (95% CI: 9.9-13.3) percentage points. For in-person, Zoom, and self-paced groups, the improvements were 14.1 (95% CI: 10.6-17.6, p&amp;lt;0.001), 11.5 (95% CI: 9.1-13.8, p&amp;lt;0.001), and 9.4 (95% CI: 6.7-12.1, p&amp;lt;0.001) percentage points, respectively. When comparing pre vs post score differences among session types while adjusting for pre scores, and for baseline differences in race, ethnicity, and education, the differences in improvement for the three different session types were not significantly different (p=0.68). For in-person, Zoom, and self-paced groups adjusted improvements were 9.2 (95% CI: 0.5-17.5), 11.1 (95% CI: 1.9-19.8), and 10.1 (95% CI: 1.5-18.3) percentage points, respectively. Conclusion: Health education sessions delivered in person, via Zoom, and by self-paced online modules are associated with increases in participant knowledge of CRC. As Cancer Centers expand community outreach and engagement to address cancer health disparities in their catchment areas, a better understanding of the relative effectiveness of different delivery strategies is needed. Further research will help to discern population characteristics predictive of different strategies and link these approaches to screening uptake. Citation Format: Lila A. Baca, Yadira Aguero, Angelica Solares, Vernon Shane Pankratz, Shiraz I. Mishra, Miria Kano, Andrew L. Sussman. Comparing the effectiveness of different community education approaches on colorectal cancer knowledge [abstract]. In: Proceedings of the 16th AACR Conference on the Science of Cancer Health Disparities in Racial/Ethnic Minorities and the Medically Underserved; 2023 Sep 29-Oct 2;Orlando, FL. Philadelphia (PA): AACR; Cancer Epidemiol Biomarkers Prev 2023;32(12 Suppl):Abstract nr C019.

P86: Effect of Virtual Reality on Stress Reduction and Change of Physiological Parameters Including Heart Rate Variability in People With High Stress: An Open Randomized Crossover Trial

Introduction:Although, attempts to apply virtual reality (VR) in mental healthcare are rapidly increasing, it is still unclear whether VR relaxation can reduce stress more than conventional biofeedback.Methods:Participants consisted of 83 healthy adult volunteers with high stress, which was defined as a score of 20 or more on the Perceived Stress Scale-10 (PSS-10). This study used an open, randomized, crossover design with baseline, stress, and relaxation phases. During the stress phase, participants experienced an intentionally generated shaking VR and serial-7 subtraction. For the relaxation phase, participants underwent a randomly assigned relaxation session on day 1 among VR relaxation and biofeedack, and the other type of relaxation session was applied on day 2. We compared the StateTrait Anxiety Inventory-X1 (STAI-X1), STAI-X2, the Numeric Rating Scale (NRS), and physiological parameters including heart rate variability (HRV) indexes in the stress and relaxation phases.Results:A total of 74 participants were included in the analyses. The median age of participants was 39 years, STAI-X1 was 47.27 (SD = 9.92), and NRS was 55.51 (SD = 24.48) at baseline. VR and biofeedback significantly decreased STAI-X1 and NRS from the stress phase to the relaxation phase, while the difference of effect between VR and biofeedback was not significant. However, there was a significant difference in electromyography, LF/HF ratio, LF total, and NN50 between VR relaxation and biofeedbackConclusion:VR relaxation was effective in reducing subjectively reported stress in individuals with high stress.

FTMPST: Fault-Tolerant Multiparty Session Types

Multiparty session types are designed to abstractly capture the structure of communication protocols and verify behavioural properties. One important such property is progress, i.e., the absence of deadlock. Distributed algorithms often resemble multiparty communication protocols. But proving their properties, in particular termination that is closely related to progress, can be elaborate. Since distributed algorithms are often designed to cope with faults, a first step towards using session types to verify distributed algorithms is to integrate fault-tolerance. We extend multiparty session types to cope with system failures such as unreliable communication and process crashes. Moreover, we augment the semantics of processes by failure patterns that can be used to represent system requirements (as, e.g., failure detectors). To illustrate our approach we analyse a variant of the well-known rotating coordinator algorithm by Chandra and Toueg.

Telemedicine Versus Traditional In-Person Consultations: Comparison of Patient Satisfaction Rates.

Introduction: Data on patient satisfaction with the provision of genetic consultations using telemedicine are limited, especially those involving children. We compared patient satisfaction rates with telemedicine services versus traditional in-person encounters. Methods: A cross-sectional questionnaire-based study was conducted between January and June 2020. Questionnaires were distributed online to 1,672 consecutive patients who had received genetic counseling at our Genetics Institute in the clinical fields of adult and pediatric genetics, oncogenetics, and prenatal genetics, through in-person and/or telemedicine consultation. We used Likert scale with scores of 4-5 representing "satisfied"-"very satisfied" and 1-2 representing "very unsatisfied"-"unsatisfied." Results: The response rate was 27.3% (400 adults and 57 children <18 years), including 330 who had received in-person consultations (72.2%), 80 telemedicine consultations (17.5%), and 47 both consultations (10.3%). Mean satisfactory scores of 4-5 were reported by 82.1% in the in-person group versus 82.5% in the telemedicine group (p = 0.88). Mean scores of 1-2 were reported by 6.3% in the in-person group versus 11.2% in the telemedicine group (p = 0.31). No pediatric telemedicine group patient (n 12 = ) gave scores of 1-2 compared with 2/33 (6%) patients who had in-person pediatric consultations (p = 0.62). Most responders who had been counseled through telemedicine (n = 127, 84%) indicated willingness to use genetic services through telemedicine again. Conclusions: Users of genetic counseling through telemedicine, especially in the pediatric age group, were very satisfied at rates comparable to those of in-person consultations. Future research should evaluate patient compliance and views according to session type, information provided (e.g., diagnostic vs. negative results), and its nature (good vs. bad news).

Response to physical activity of females with multiple sclerosis throughout the menstrual cycle: a protocol for a randomised crossover trial (EMMA Project)

The relationship between multiple sclerosis (MS) and females is a crucial aspect in the development of the disease, with the ovarian hormonal cycle being a sensitive stage, especially in females...

Assessing the association between on-field heading technique and head impact kinematics in a cohort of female youth soccer players

ABSTRACT There is concern that exposure to soccer headers may be associated with neurological sequelae. Training proper heading technique represents a coachable intervention that may reduce head acceleration exposure. The objective was to assess relationships between heading technique and head kinematics in female youth soccer players. Fourteen players (mean age = 14.4 years) wore instrumented mouthpieces during practices and games. Headers were reviewed by three raters to assign a technique score. Mixed models and LASSO regression evaluated associations of technique with peak linear acceleration (PLA), rotational acceleration (PRA), rotational velocity (PRV), and head impact power ratio (HIP Ratio) while adjusting for session type and ball delivery. Two hundred eighty-nine headers (n = 212 standing, n = 77 jumping) were analyzed. Technique score (p = 0.043) and the technique score – session type interaction (p = 0.004) were associated with PRA of standing headers, whereby each 10-unit increase in technique score was associated with an 8.6% decrease in PRA during games but a 5.1% increase in PRA during practices. Technique was not significantly associated with any other kinematic metrics; however, peak kinematics tended to decrease as technique score increased. LASSO regression identified back extension and shoulder/hip alignment as important predictors of peak kinematics. Additional research on heading technique and head acceleration is recommended.